Nuprl Definition : ocgrp 13,42
OGrp == {g:OCMon| Inverse(|g|;*;e;~)}  
latex

clarification:

OGrp{i} == {g:OCMon{i}| Inverse(|g|;*g;eg;~g)}  
latex

Upgroups 1
Wellformedness Lemmasocgrp wf
DefinitionsOCMon, Inverse(T;op;id;inv), |g|, *, e, ~

origin